semantic properties造句
例句与造句
- ideational theme with different semantic properties and micro-register text types reading after the old man and the sea
调谐质量阻尼器对海洋平台的减振效果分析 - morphology deals with the internal structure of words and how this structure affects their phonological, syntactic and semantic properties
交易形态与内部结构的言行如何，这个结构会影响他们的音韵，句法和语义特性。 - associating semantic properties with metadata means that compiled classes may have a different structure and behavior from those without it see
将语义属性与元数据相关联意味着编译的类可以与没有它们的类具有不同的结构和行为（请参阅 - the second part of the book focuses on the ways in which the morphological structure of words determines their phonological, syntactic, and semantic properties
第二部分，这本书的重点是如何在形态结构的话，决定着他们的音韵，句法，语义和性能。 - the paper holds that middles in english and chinese have some semantic properties in common, and the differences are shaped because of hypotaxis of english and parataxis of chinese
英汉语中动结构所表述的基本语义特征是相同的，而它们的差异是由英汉语不同的语言属性决定的。 - It's difficult to find semantic properties in a sentence. 用semantic properties造句挺难的
- based on lattice-valued propositional logic system lp ( x ) and lattice-valued first-order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice-valued modal logic system, and probed into a-resolution principle . the specific contents are as follows : part one the study of lattice-valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice-valued propositional logic system lp ( x ), set up a new lattice-valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system . based on these work, discussed a-resolution principle of lattice-valued modal propositional logic system lmp ( x ), gave out the rules of computing a-direct resolvent and a-self resolvent, and proposed detailed resolution method
本文在格值命题逻辑系统lp(x)和格值一阶逻辑系统lf(x)的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n(必然)和p(可能)引入格值命题逻辑系统lp(x)，建立了新的格值模态命题逻辑系统lmp(x)，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp(x)的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。